Schiffer's Unhappy Face Solution to a Puzzle about Moral Judgement

where, according to Schiffer, the concept of an F is pleonastic just in case the concept itself licenses entailments of the form: S ⇒ ∃xFx. These are what he calls "somethingfrom-nothing" entailments and the various practices in which such entailments are made are what he calls "hypostatisizing practices" (p.57). The concept of a proposition is pleonastic, according to this definition, because it licenses the move from a claim like 'Fido is a dog,' a claim containing only the singular term 'Fido' referring to Fido, to the claim 'It is true that Fido is a dog,' which is a claim that contains the singular term 'that Fido is a dog' referring to the proposition that Fido is a dog.